From e98c6ce2dc62048b65a37b035758e21a3d09c116 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Sat, 9 Aug 2014 16:58:39 +0200 Subject: [PATCH] mediawiki.content.json.css: Don't use funny fonts * Allow skin-provided fonts for .mw-json. * Use standard monospace font for .mw-json .value. We need to write 'monospace, monospace' because of old browsers, see design/monospace.html. Change-Id: I4ed850408895dd1962a0503227ccb384bf479790 --- resources/src/mediawiki/mediawiki.content.json.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/resources/src/mediawiki/mediawiki.content.json.css b/resources/src/mediawiki/mediawiki.content.json.css index 583dd39899..f86bfacd94 100644 --- a/resources/src/mediawiki/mediawiki.content.json.css +++ b/resources/src/mediawiki/mediawiki.content.json.css @@ -8,7 +8,6 @@ .mw-json { border-collapse: collapse; border-spacing: 0; - font-family: 'Bitstream Vera Sans', 'DejaVu Sans', 'Lucida Sans', 'Lucida Grande', sans-serif; font-style: normal; } @@ -26,7 +25,7 @@ .mw-json .value { background-color: #dcfae3; - font-family: 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Courier, monospace; + font-family: monospace, monospace; white-space: pre-wrap; } -- 2.20.1